Exploration of Student's Use of Rule Application References in a Propositional Logic Tutor
نویسندگان
چکیده
Many tutors offer students reference material or tips that they can access as needed. We have logged data about student use of references with Deep Thought logic tutor which to understand why and how references are used. We find evidence that students use these references in systematic ways that change over the course of the tutor, and can be predictive of rule application errors. We can use this information to increase our understanding of which concepts students find similar, what times during the tutor students feel the need to use references. Our goal is to eventually incorporate data-driven feedback based on when and how the references are accessed.
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملThe use of explicit intermediate representations in intelligent tutoring systems
THE USE OF EXPLICIT INTERMEDIATE REPRESENTATIONS IN INTELLIGENT TUTORING SYSTEMS Michael Bernard Twidale M.A. Submitted for the degree of Doctor of Philosophy Department of Computing University of Lancaster July 1989 In order to create a more accurate student model, an ITS must have useful and usable information about a student's thinking. A technique to obtain such informaton is proposed and i...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملSurvival Analysis on Duration Data in Intelligent Tutors
Effects such as student dropout and the non-normal distribution of duration data confound the exploration of tutor efficiency, time-intutor vs. tutor performance, in intelligent tutors. We use an accelerated failure time (AFT) model to analyze the effects of using automatically generated hints in Deep Thought, a propositional logic tutor. AFT is a branch of survival analysis, a statistical tech...
متن کاملEffects of Automatically Generated Hints on Time in a Logic Tutor
This work explores the effects of using automatically generated hints in Deep Thought, a propositional logic tutor. Generating hints automatically removes a large amount of development time for new tutors, and it also useful for already existing computer-aided instruction systems that lack intelligent feedback. We focus on a series of problems, after which, the control group is known to be 3.5 ...
متن کامل